-
1 доказуемая формула
-
2 доказуемая формула
Русско-английский новый политехнический словарь > доказуемая формула
-
3 доказуемая формула
-
4 доказуемая формула
Mathematics: provable formulaУниверсальный русско-английский словарь > доказуемая формула
-
5 доказуемая формула
Русско-английский словарь по машиностроению > доказуемая формула
-
6 доказуемая формула
Русско-английский математический словарь > доказуемая формула
-
7 доказуемая формула
provable formula мат.Русско-английский научно-технический словарь Масловского > доказуемая формула
-
8 арифметически доказуемая формула
Mathematics: arithmetically provable formulaУниверсальный русско-английский словарь > арифметически доказуемая формула
-
9 геометрически доказуемая формула
Mathematics: geometrically provable formulaУниверсальный русско-английский словарь > геометрически доказуемая формула
-
10 арифметически доказуемая формула
Русско-английский научно-технический словарь Масловского > арифметически доказуемая формула
-
11 геометрически доказуемая формула
Русско-английский научно-технический словарь Масловского > геометрически доказуемая формула
-
12 формула
formula
– атомарная формула
– валовая формула
– выводить формула
– доказуемая формула
– замкнутая формула
– интерполяционная формула
– исходная формула
– колесная формула
– начальная формула
– опытная формула
– основная формула
– поправочная формула
– предваренная формула
– пятичленная формула
– расчетная формула
– рекуррентная формула
– рекурсивная формула
– сравнимая формула
– точная формула
– формула валовая
– формула Гаусса
– формула Грима
– формула де-Бройля
– формула мощности
– формула обращения
– формула оценки
– формула Планка
– формула Поллачек-Хинчина
– формула размерности
– формула Релея-Джинса
– формула сложения
– формула строения
– формула суммирования
– формула трапеций
– формула удвоения
– формула Френеля
– цепная формула
– элементарная формула
интерполяционная формула Ньютона — Newton's interpolation formula
формула бинома Ньютона — binomial formula
формула корней квадратного уравнеи — quadratic formula
формула обратного перехода — reverse formula
формула обратного преобразования — inversion formula
формула объема призматоида — prismoidal formula
формула половинного угла — half-angle formula
формула простых процентов — simple interest formula
формула Эйнштейна для фотоэффекта — Einstein photoelectric equation
-
13 доказуемый
1. demonstrable2. provable3. provably -
14 доказуемый
Бизнес, юриспруденция. Русско-английский словарь > доказуемый
См. также в других словарях:
НЕРАЗРЕШИМАЯ ФОРМУЛА — формула к. л. (логико математического) исчисления, одновре менно не доказуемая и не опровержимая средствами этого исчисления. (Соответственно формула, доказуемая или опровержимая в исчислении, наз. разрешимой в нем.) Термин Н. ф. прилагается, как … Философская энциклопедия
ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — общее название исчислений математической логики, являющихся формализацией тех разделов совр. логики, к рые изучают субъектно предикатную структуру предложений (высказываний), понимаемую в более широком, чем в традиц. логике, смысле: помимо теории … Философская энциклопедия
МОДАЛЬНАЯ ЛОГИКА — раздел логики, в котором исследуются логические связи модальных высказываний, т.е. высказываний, включающих модальности. Мл. слагается из ряда направлений, каждое из которых занимается модальными высказываниями определенного типа. В современной М … Философская энциклопедия
РЕАЛИЗУЕМОСТЬ — (р е к у р с и в н а я р е а л и з у е м о с т ь) – понятие, лежащее в основе предложенного С. К. Клини (1945) метода конструктивного (интуиционистского) понимания матем. (и логич.) предложений, к рый позволяет в точных терминах говорить об их… … Философская энциклопедия
ПРОТИВОРЕЧИЯ ЗАКОН — 1) Один из осн. принципов логич. рассуждения, согласно к рому никакое предложение не может быть одновременно истинным и ложным (или: не могут быть одновременно истинными нек рое предложение и его отрицание). 2) Тождественно истинная (см.… … Философская энциклопедия
НЕПРОТИВОРЕЧИЯ ЗАКОН — НЕПРОТИВОРЕЧИЯ ЗАКОН один из основных принципов логического рассуждения, согласно которому два взаимнопротиворечащих высказывания не могут быть одновременно истинными, т. е. одно из них должно быть ложным. Формулировка этого закона… … Философская энциклопедия
НЕПРОТИВОРЕЧИЯ ЗАКОН – — один из основных принципов логического рассуждения, согласно которому два взаимнопротиворечащих высказывания не могут быть одновременно истинными, т.е. одно из них должно быть ложным. Формулировка этого закона восходит к софистам. Аристотель… … Философская энциклопедия
ПАРАДОКС ЛОГИЧЕСКИЙ — положение, которое сначала еще не является очевидным, однако, вопреки ожиданиям, выражает истину. В античной логике парадоксом называли утверждение, многозначность которого относится прежде всего к его правильности или неправильности. В… … Философская энциклопедия
ТЕОРЕМА — (от греч. theoreo – рассматриваю) научное положение. Философский энциклопедический словарь. 2010. ТЕОРЕМА (греч. ϑεώρημα, от ϑεωρέω – рассматриваю, исследу … Философская энциклопедия
ТЕОРЕМА О ДЕДУКЦИИ — теорема дедукции, – одно из важнейших содержательных утверждений математической логики, определяющее связь между логически правильными (аподиктическими) рассуждениями (или умозаключениями, или выводами) и законами (доказуемыми формулами) логики,… … Философская энциклопедия
РЕКУРСИВНАЯ РЕАЛИЗУЕМОСТЬ — уточнение интуиционистской семантики арифметич. суждений на основе понятия частично рекурсивной функции, предложенное С. Клини (см. [1], [2]). Для всякой замкнутой арифметич. формулы Fопределяется отношение натуральное число ереализует формулу F … Математическая энциклопедия